#!/bin/bash

# this will start the server by downloading the page, note that 
# NOTE: wget might have some time limit, be aware of that!
# NOTE: in the server, there is port/address reuse but it seems to not work properly!
wget -qO - http://localhost/tmweb/websockets/server.php | tee server.log